what is a linter and why you should use one